Device drivers

Results: 779



#Item
1

Technical Reference - Q&A TSD-QAQ: There still have two unknown devices “IKBMON_01” and “IMSMON_01” in device manager on H61 series motherboards, after install all drivers from support CD, what dri

Add to Reading List

Source URL: www.asrock.com

- Date: 2014-03-25 05:25:44
    2

    I/O system. It was written with an eye toward providing guidance to writers of device driver routines, and is oriented more toward describing the environment and nature of device drivers than the implementation of that p

    Add to Reading List

    Source URL: wolfram.schneider.org

    Language: English - Date: 2012-01-08 15:19:27
      3

      Automatic Synthesis of High-Assurance Device Drivers G ERNOT H EISER, NICTA, Australia L EONID RYZHYK , M ICHAEL S TUMM, University of Toronto, Canada PAVOL C ERNY, University of Colorado Boulder, USA A LASTAIR F. D ONAL

      Add to Reading List

      Source URL: ts.data61.csiro.au

      - Date: 2013-10-20 22:09:39
        4

        Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller Sorbonne Universit´es/UPMC/Inria/LIP6 Abstract

        Add to Reading List

        Source URL: pages.lip6.fr

        - Date: 2017-08-28 11:27:03
          5

          Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

          Add to Reading List

          Source URL: refal.botik.ru

          - Date: 2017-03-12 03:19:31
            6

            Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers Pantazis Deligiannis Alastair F. Donaldson

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2015-08-24 18:36:19
              7

              Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk Abstract

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2015-07-01 17:41:47
                8

                Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2012-08-31 08:16:46
                  9

                  Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  - Date: 2013-01-20 10:47:24
                    10

                    Automatic Verification of Active Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡§ Keng Chai Ong‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales

                    Add to Reading List

                    Source URL: www.doc.ic.ac.uk

                    - Date: 2016-05-05 16:39:22
                      UPDATE